1 Evidence-based policy requires researchers to provide the answers to ecological questions that are of interest to policy makers. To find out what those questions are in the UK, representatives from 28 organizations involved in policy, together with scientists from 10 academic institutions, were asked to generate a list of questions from their organizations. 2 During a 2-day workshop the initial list of 1003 questions generated from consulting at least 654 policy makers and academics was used as a basis for (...) generating a short list of 100 questions of significant policy relevance. Short-listing was decided on the basis of the preferences of the representatives from the policy-led organizations. 3 The areas covered included most major issues of environmental concern in the UK, including agriculture, marine fisheries, climate change, ecosystem function and land management. 4 The most striking outcome was the preference for general questions rather than narrow ones. The reason is that policy is driven by broad issues rather than specific ones. In contrast, scientists are frequently best equipped to answer specific questions. This means that it may be necessary to extract the underpinning specific question before researchers can proceed. 5 Synthesis and applications. Greater communication between policy makers and scientists is required in order to ensure that applied ecologists are dealing with issues in a way that can feed into policy. It is particularly important that applied ecologists emphasize the generic value of their work wherever possible. (shrink)

We sought to assess formally the extent to which different control and elimination strategies for human African trypanosomiasis Trypanosoma brucei gambiense would exacerbate or alleviate experiences of societal disadvantage that traditional economic evaluation does not take into account. Justice-enhanced cost-effectiveness analysis is a normative approach under development to address social justice considerations in public health decision-making alongside other types of analyses. It aims to assess how public health interventions under analysis in comparative evaluation would be expected to influence the clustering (...) of disadvantage across three core dimensions of well-being: agency, association and respect. As a case study to test the approach, we applied it to five strategies for Gambiense HAT control and elimination, in combination with two different other evaluations: a cost-effectiveness analysis and a probability of elimination analysis. We have demonstrated how JE-CEA highlights the ethical importance of adverse social justice impacts of otherwise attractive options and how it indicates specific modifications to policy options to mitigate such impacts. JE-CEA holds promise as an approach to help decision makers and other stakeholders consider social justice more fully, explicitly and systematically in evaluating public health programs. (shrink)

Although the theory of definability had many important antecedents—such as the descriptive set theory initiated by the French semi-intuitionists in the early 1900s—the main ideas were first laid out in precise mathematical terms by Alfred Tarski beginning in 1929. We review here the basic notions of languages, explicit definability, and grammatical complexity, and emphasize common themes in the theories of definability for four important languages underlying, respectively, descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic. We review (...) the history of previous studies of the similarities and differences in the theories of definability of the first three of these four languages. A seminal role leading toward unification of the theories has been played by the separation principles introduced by Nikolai Luzin in 1927. Emphasizing analogies and driving toward further unification embracing finite-universe logic we concentrate on a simple example—the first and second separation principles for existential-universal first-order sentences . Using this as a test case for the fundamental problem of how to “finitize” arguments in classical pure logic to the finite-universe case, we are led to the analogous negative solution by using the theory of certain special graphs: a graph is - special for any positive integers m , n , p , q iff it is bipartite with m red points and n blue points and for every p -tuple of red points there is a blue point to which they are all connected . As an aside we introduce for further study a natural “Ramseyesque” increasing sequence A of positive integers, where A is the least positive integer n for which an -special graph exists. (shrink)

The articles collected in this volume are concerned with the transmission and development of the Greek achievement among Syriac scholars of the Fertile Crescent during the four centuries after 500CE, particularly in the fields of rhetoric and philosophy. Cumulatively they show how many aspects of Greek culture were received and elaborated in Syriac, and contribute to understanding the ways in which that culture exercised a powerful influence on the medieval Near East and the burgeoning Islamic civilisation.